c formula generated with seed 7, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.410000
c the planted solution is {1, 2, 3, 7, 8, 9, 10, 12, 15, 16, 18, 19, 21, 23, 24, 25, 26, 28, 30, 32, 33, 34, 36, 38, 39, 40, 42, 45, 46, 48, 49, 51, 54, 55, 56, 58, 61, 62, 64, 65, 66, 68, 69, 70, 71, 73, 76, 77, 79, 83, 87, 90, 92, 95, 98, 101, 102, 103, 104, 108, 109, 112, 114, 115, 117, 118, 124, 125, 126, 128, 129, 131, 132, 133, 135, 136, 137, 143, 144, 145, 149, 152, 154, 155, 156, 164, 165, 167, 168, 170, 171, 173, 175, 176, 177, 181, 182, 183, 186, 188, 190, 191, 192, 193, 195, 198, 203, 204, 207, 208, 210, 214, 216, 217, 220, 230, 231, 232, 233, 239, 241, 243, 247, 248, 249, 250, 253, 254, 255, 257, 258, 260, 261, 262, 263, 266, 267, 268, 270, 273, 277, 278, 279, 284, 285, 286, 287, 288, 291, 292, 294, 299, 300, 302, 303, 304, 305, 306, 307, 309, 310, 311, 312, 313, 314, 315, 317, 319, 320, 321, 322, 326, 328, 331, 332, 333, 336, 337, 338, 343, 345, 350, 351, 354, 358, 359, 364, 365, 369, 372, 375, 376, 377, 378, 380, 385, 387, 390, 392, 394, 396, 397, 402, 406, 407, 409, 412, 413, 414, 415, 418, 420, 421, 422, 423, 424, 425, 427, 428, 431, 432, 433, 435, 437, 438, 440, 441, 442, 443, 448, 449, 450, 452, 458, 461, 465, 469, 470, 471, 472, 473, 474, 479, 481, 483, 487, 488, 491, 492, 493, 494, 495, 500, 501, 505, 506, 507, 511, 512, 513, 514, 517, 518, 519, 521, 524, 528, 534, 535, 536, 542, 544, 545, 547, 549, 550, 551, 555, 558, 559, 561, 563, 564, 566, 567, 571, 572, 573, 575, 576, 578, 581, 582, 585, 587, 588, 593, 594, 595, 599, 600}
p cnf 600 2646
-153 -45 222 0
-97 -341 23 0
-244 396 544 0
578 520 -299 0
233 577 374 0
-329 401 -193 0
-393 563 -497 0
288 -385 482 0
-456 389 186 0
304 -477 469 0
-254 37 -122 0
-180 419 -599 0
-329 -171 -103 0
493 -490 420 0
50 552 -532 0
239 -68 446 0
274 -54 149 0
-457 -237 510 0
-65 -288 28 0
550 -429 549 0
-48 549 -563 0
-329 -245 -393 0
204 158 -171 0
-108 -50 323 0
-458 -218 546 0
159 -327 -54 0
-56 -277 -523 0
421 -246 331 0
88 504 108 0
-351 360 -451 0
75 -95 156 0
444 554 230 0
-109 -290 138 0
38 449 56 0
-188 142 152 0
158 580 131 0
-7 130 90 0
-10 165 209 0
43 -469 -590 0
472 274 -353 0
99 120 521 0
250 24 8 0
-488 18 -588 0
-161 595 86 0
-79 36 119 0
-300 380 -519 0
-358 353 587 0
508 468 -451 0
390 440 -356 0
183 -324 -172 0
515 427 -350 0
-436 -340 -289 0
-109 579 -119 0
260 -176 554 0
-411 -182 -320 0
-140 -249 -559 0
-85 292 260 0
189 380 430 0
-97 -262 -418 0
117 -223 -81 0
-70 511 -263 0
-189 46 32 0
-342 -70 -317 0
369 -572 -51 0
-428 545 592 0
-414 -109 -357 0
525 -464 408 0
-575 -135 76 0
-133 -453 -192 0
-418 504 359 0
198 -485 -416 0
-257 17 -538 0
-10 -350 -121 0
382 253 -32 0
191 476 275 0
116 242 332 0
-125 -339 141 0
120 -71 -456 0
54 -336 -65 0
-450 2 530 0
-417 570 -244 0
420 -134 -538 0
408 393 294 0
-160 -45 -345 0
405 -187 -42 0
138 -33 -451 0
-497 372 195 0
396 43 -535 0
318 -255 588 0
167 -369 -46 0
330 -171 421 0
-354 536 162 0
137 332 -456 0
469 412 394 0
413 60 -566 0
-548 -177 276 0
192 11 -492 0
503 485 -526 0
-189 437 -498 0
-370 58 216 0
-547 206 -14 0
-1 492 574 0
-364 456 220 0
419 345 -302 0
304 130 11 0
-556 67 -9 0
77 -127 103 0
147 201 10 0
119 230 215 0
-251 -197 287 0
529 83 -416 0
248 -130 33 0
-216 -298 -144 0
526 491 107 0
309 -293 448 0
541 197 132 0
-186 -361 -286 0
-213 -161 -334 0
137 -516 450 0
477 235 -391 0
250 -141 176 0
436 442 -204 0
-509 551 -533 0
-560 -327 232 0
-208 457 473 0
-122 -546 -570 0
514 546 574 0
405 80 -539 0
428 -4 68 0
-169 74 301 0
-128 236 465 0
-157 -549 -521 0
-22 432 188 0
-381 -127 208 0
359 -522 102 0
-356 -390 590 0
-407 -363 -48 0
-529 495 186 0
555 -277 227 0
416 -25 563 0
407 -140 193 0
-15 86 -399 0
104 -64 -359 0
-573 505 217 0
243 -353 -43 0
511 -213 -388 0
-95 -162 293 0
-301 449 406 0
303 298 554 0
-275 -459 9 0
414 443 198 0
-168 388 243 0
187 -310 -27 0
540 185 -119 0
-276 397 -557 0
525 -245 246 0
-596 274 454 0
-330 135 322 0
-244 -456 -434 0
432 -560 58 0
-85 513 415 0
222 -321 -499 0
-45 262 158 0
530 -318 -79 0
-288 -129 203 0
83 -30 457 0
258 -247 -474 0
86 192 -286 0
134 -418 -72 0
-212 157 -286 0
477 -251 506 0
-473 280 332 0
-497 243 268 0
-497 27 -566 0
-351 286 -71 0
508 -148 389 0
-456 -408 -293 0
251 -253 277 0
290 -64 -508 0
-377 -315 321 0
17 277 -315 0
-497 -504 -200 0
-317 99 458 0
96 240 -502 0
-318 188 -245 0
-218 -261 206 0
71 259 -42 0
556 -407 -213 0
299 -88 -459 0
529 181 327 0
-447 -512 -181 0
-21 203 -191 0
-177 277 308 0
-230 203 324 0
-309 45 -171 0
-343 -474 422 0
180 304 -188 0
371 -183 483 0
321 195 -204 0
476 -525 -567 0
-568 -403 -597 0
65 -475 -463 0
135 -297 -464 0
35 -341 -3 0
-195 -7 -100 0
572 324 411 0
-217 340 191 0
-206 239 124 0
158 -449 277 0
-110 105 22 0
-579 -284 187 0
454 226 198 0
192 -195 106 0
328 -396 539 0
-565 519 -57 0
-452 297 309 0
215 16 -479 0
387 12 -185 0
-258 -132 -356 0
-313 -61 284 0
9 -111 -462 0
-565 -510 -78 0
-556 134 -563 0
-391 165 -119 0
-16 231 316 0
-235 199 276 0
-27 -503 -162 0
-348 -100 32 0
-508 302 -221 0
-7 280 -466 0
386 -324 -398 0
79 -222 593 0
-461 -297 53 0
-545 -526 -469 0
-248 -18 195 0
-239 -125 71 0
399 74 -199 0
361 -163 510 0
-79 283 585 0
-117 377 -118 0
310 398 -448 0
-60 394 129 0
-15 -550 -197 0
-398 34 -187 0
524 -508 -106 0
-195 -74 577 0
291 330 515 0
-60 453 219 0
-352 529 368 0
-370 -373 68 0
-348 451 37 0
-567 -30 16 0
408 -583 439 0
-453 -278 293 0
-581 407 -24 0
-233 -64 -274 0
517 -275 156 0
-135 -110 -465 0
464 -183 -187 0
-453 -187 61 0
-420 101 520 0
-82 -25 17 0
-389 139 -32 0
515 -71 337 0
398 -109 255 0
-489 22 464 0
-466 512 -419 0
586 260 516 0
-445 -22 487 0
481 545 -565 0
-444 233 -554 0
-392 8 123 0
550 235 -343 0
-84 -598 578 0
-298 -180 214 0
447 261 -322 0
-496 567 452 0
-534 -486 276 0
-554 -472 245 0
-431 -271 4 0
196 -63 -315 0
-87 -492 1 0
595 523 -68 0
-439 -73 205 0
-457 -564 577 0
188 -341 155 0
505 -287 78 0
51 -519 -542 0
-537 -568 -269 0
403 -169 -87 0
514 111 -450 0
232 -507 127 0
499 -424 168 0
-281 141 -185 0
-383 -466 438 0
586 -249 -251 0
-429 454 -126 0
-486 -331 532 0
311 315 536 0
-420 -190 -174 0
-30 -517 -459 0
225 -388 -585 0
-125 589 114 0
-117 509 267 0
-238 -484 268 0
-172 232 351 0
387 427 154 0
489 592 -352 0
-557 341 -188 0
-10 -503 -71 0
-198 -8 -560 0
216 284 -325 0
517 394 407 0
-116 -193 557 0
287 -148 474 0
588 504 244 0
-460 210 -281 0
-574 283 592 0
362 -520 274 0
-6 -266 -128 0
-291 -513 191 0
35 344 514 0
418 -512 416 0
-158 -389 494 0
-237 -390 581 0
174 155 -514 0
-29 -88 378 0
-213 434 464 0
-111 326 115 0
585 587 -226 0
-46 230 386 0
-276 465 250 0
-515 600 -187 0
-57 -100 433 0
534 -544 -334 0
111 -560 339 0
-590 424 377 0
-192 -144 -510 0
-476 509 -585 0
151 -507 -47 0
64 335 -571 0
-64 -4 344 0
372 147 37 0
-368 -289 210 0
390 -423 592 0
-260 -315 249 0
-9 -378 536 0
-314 -371 27 0
291 -317 185 0
-7 -387 -499 0
-242 233 309 0
-32 415 430 0
-217 368 -426 0
39 -118 -51 0
368 -479 -447 0
-51 42 592 0
-174 12 514 0
-482 68 -271 0
-411 -256 112 0
278 -474 -372 0
-263 -287 262 0
81 67 -548 0
484 34 -300 0
-500 -147 -394 0
275 -339 -512 0
-524 -337 -579 0
454 275 104 0
385 -464 52 0
-209 -482 307 0
397 -405 -398 0
235 220 -588 0
-505 -161 457 0
50 143 -470 0
-462 -134 -199 0
-102 -366 -16 0
545 121 -1 0
-479 375 339 0
544 140 341 0
-4 -264 -416 0
-61 -127 121 0
-103 -84 -10 0
10 -344 501 0
-23 -10 317 0
521 29 229 0
-333 -428 112 0
-252 479 -499 0
-61 -377 481 0
-101 338 459 0
209 585 226 0
543 478 564 0
-254 333 401 0
113 -428 377 0
-162 -14 109 0
-446 -450 466 0
-412 -171 -502 0
559 -371 188 0
292 228 126 0
471 -394 -418 0
388 -384 -220 0
-233 417 -237 0
525 -428 461 0
-235 179 -124 0
581 -179 -455 0
-452 -308 499 0
-330 -12 282 0
563 -99 -386 0
275 507 109 0
25 347 -561 0
227 -223 -390 0
227 -161 560 0
202 -465 452 0
-410 147 -31 0
522 519 -319 0
-492 -29 99 0
309 -281 92 0
-45 -563 -59 0
-172 -322 -192 0
-274 -423 -126 0
143 -247 153 0
-187 579 -364 0
361 191 -181 0
545 -133 -582 0
289 340 -400 0
-6 387 -445 0
254 157 119 0
-247 318 571 0
-467 -462 -96 0
593 208 582 0
374 24 -249 0
498 321 -177 0
562 328 298 0
-201 -116 -475 0
65 -352 364 0
276 378 -337 0
-480 -94 571 0
212 334 331 0
69 177 37 0
9 -250 -490 0
598 154 596 0
502 -465 -301 0
-437 -2 -81 0
-40 414 366 0
-264 -91 -259 0
110 -3 292 0
460 238 566 0
-297 559 -457 0
-471 -597 540 0
-567 285 -382 0
-349 492 -89 0
577 588 580 0
327 -404 -309 0
544 -64 -233 0
472 586 229 0
-388 555 -228 0
-240 -412 -131 0
-134 246 439 0
-214 -218 89 0
325 -33 -189 0
-300 -189 -24 0
331 -596 578 0
-571 281 254 0
-51 87 -350 0
70 -73 361 0
445 370 -161 0
-328 -168 45 0
-495 62 52 0
-279 -208 -274 0
455 243 -208 0
-440 -73 8 0
350 262 -290 0
-15 397 -337 0
-20 -577 -456 0
-114 -173 -139 0
-49 -379 -558 0
173 -110 155 0
-16 89 469 0
482 205 231 0
486 -211 163 0
466 570 115 0
-528 -470 -405 0
532 -564 -146 0
293 348 -430 0
-180 -306 244 0
469 -326 -358 0
-3 -520 -492 0
425 542 424 0
-105 -477 258 0
-264 559 -35 0
86 -208 -318 0
192 20 363 0
-372 28 67 0
-320 536 -315 0
385 380 -43 0
230 -274 -529 0
181 372 -480 0
-368 -396 -3 0
-318 394 -140 0
506 229 -114 0
-240 398 468 0
570 -261 -202 0
-180 406 -295 0
-558 440 539 0
556 481 -412 0
260 471 -78 0
-293 -360 455 0
-548 -450 153 0
-595 -14 -450 0
-274 498 -294 0
-90 226 307 0
311 353 400 0
-66 452 590 0
578 170 -318 0
-325 -570 -258 0
-420 -7 536 0
545 -554 -426 0
-383 186 -228 0
184 196 493 0
9 -373 -335 0
-287 165 -64 0
579 -580 -359 0
-355 416 -101 0
510 65 194 0
144 425 168 0
-457 -402 590 0
245 -471 231 0
-445 141 -8 0
-58 438 531 0
270 -78 392 0
53 99 255 0
-53 279 -391 0
503 -39 506 0
305 -223 -497 0
343 -200 -281 0
242 529 -75 0
-478 508 -518 0
-393 -335 170 0
-437 -450 566 0
184 -57 -239 0
61 -352 69 0
-474 -383 452 0
-512 -144 -189 0
584 517 -415 0
-492 235 -160 0
-469 -236 -214 0
291 376 286 0
486 544 218 0
292 -122 188 0
-275 -333 439 0
-400 -553 587 0
24 403 130 0
517 497 -171 0
-96 -28 527 0
-521 -342 353 0
598 11 -234 0
170 400 -177 0
1 372 129 0
-434 295 -479 0
-203 -230 491 0
-42 -95 427 0
-445 492 392 0
-537 -128 -473 0
488 332 311 0
420 -559 355 0
503 -123 330 0
-107 268 195 0
497 546 -259 0
-172 8 -269 0
-309 467 354 0
77 -275 510 0
338 554 -599 0
-358 423 -514 0
135 471 -436 0
9 -265 208 0
533 187 61 0
480 -106 6 0
-583 -154 399 0
143 -68 -210 0
-34 536 276 0
-339 38 471 0
-301 -96 -308 0
299 249 -158 0
592 -500 305 0
-493 -73 465 0
231 171 -580 0
-438 190 -24 0
-110 -453 413 0
-498 -352 -252 0
-354 449 548 0
170 -261 308 0
-338 -314 -5 0
181 -419 -140 0
-262 134 -119 0
420 368 -223 0
38 333 -342 0
-557 -413 -107 0
-394 210 486 0
302 -194 73 0
-503 -478 -289 0
-497 -598 -552 0
225 58 -90 0
-253 -400 134 0
-281 -182 417 0
113 465 -501 0
-33 -408 -261 0
77 577 361 0
-98 63 210 0
-316 495 -480 0
-184 -231 189 0
-124 83 577 0
-334 307 547 0
307 233 471 0
122 177 -354 0
365 166 -396 0
390 -488 289 0
9 505 277 0
471 -140 18 0
22 -310 -360 0
-231 -130 -7 0
226 -409 -197 0
-85 -502 587 0
-560 -173 298 0
548 -302 294 0
-398 -52 452 0
476 489 -490 0
181 445 434 0
-160 255 -184 0
343 -65 -260 0
420 269 13 0
501 71 465 0
-197 565 446 0
119 578 -478 0
23 477 444 0
-327 333 -530 0
3 127 119 0
280 -308 -512 0
293 -286 377 0
252 485 68 0
-541 -206 306 0
466 23 213 0
-55 426 -301 0
-403 -298 -382 0
-22 -229 -224 0
398 46 565 0
175 431 -393 0
-385 -383 84 0
65 304 -296 0
421 581 595 0
288 475 275 0
-268 323 -562 0
-481 499 -526 0
-78 43 -114 0
343 -62 35 0
-492 -404 -186 0
-140 373 598 0
144 415 -141 0
582 302 -532 0
557 262 99 0
448 -222 63 0
-153 160 197 0
434 51 242 0
-277 331 -115 0
-231 16 -561 0
-79 -583 295 0
456 -290 401 0
385 303 -6 0
-97 407 40 0
-499 421 -399 0
80 92 163 0
231 221 -419 0
393 479 -558 0
378 -127 470 0
594 -92 446 0
530 -376 -222 0
360 -300 58 0
-393 345 -116 0
291 -265 544 0
-537 -52 255 0
-558 190 -312 0
413 -515 117 0
-198 -44 -309 0
-189 51 133 0
376 453 -269 0
-560 -394 -576 0
-451 -198 -380 0
149 -204 -321 0
516 -507 -404 0
-594 524 346 0
-571 -142 281 0
595 -222 -549 0
-22 532 -38 0
51 -269 -453 0
329 102 93 0
501 125 95 0
-210 -464 -90 0
512 -190 -254 0
-412 -220 19 0
156 -296 277 0
376 -381 -361 0
-331 -183 73 0
329 -293 -422 0
-303 531 441 0
150 -494 450 0
125 513 -497 0
52 -518 -41 0
86 -455 81 0
424 -331 -98 0
316 460 68 0
-112 -255 258 0
490 -18 564 0
257 -396 416 0
91 417 505 0
-334 56 494 0
-413 -502 384 0
-518 41 -529 0
266 226 -378 0
8 -257 85 0
-481 -133 -238 0
-592 -436 -259 0
514 -223 -510 0
559 -383 -272 0
-533 492 124 0
569 -483 -161 0
-137 251 -362 0
315 372 45 0
431 374 -260 0
377 -397 -42 0
563 -445 49 0
-182 -173 -265 0
589 -569 -421 0
-461 -62 -180 0
-263 -92 -447 0
420 493 377 0
-143 -280 -472 0
558 274 -239 0
-189 -142 582 0
-418 337 227 0
134 44 581 0
-38 -231 103 0
-206 -1 -263 0
476 585 -227 0
108 407 32 0
323 354 -38 0
597 -71 -67 0
-64 -319 190 0
251 -111 113 0
444 -389 -55 0
-339 -545 -233 0
-389 567 -226 0
487 505 -296 0
548 -162 335 0
539 -324 530 0
324 271 260 0
5 -152 -172 0
-230 -64 54 0
-497 419 465 0
-95 49 102 0
-223 -78 -455 0
-192 273 -348 0
276 -460 -287 0
-578 -532 340 0
-111 467 15 0
534 297 -69 0
40 568 480 0
-411 88 357 0
-122 -293 473 0
452 350 492 0
29 224 109 0
-596 -470 -397 0
-380 -299 390 0
574 135 228 0
567 242 13 0
-139 -458 246 0
400 6 109 0
-410 462 118 0
559 -510 -280 0
209 -405 -90 0
39 -40 259 0
537 583 -548 0
505 465 32 0
152 -52 -27 0
-305 -370 485 0
13 103 189 0
68 -459 -13 0
-315 232 480 0
-358 555 13 0
-556 -12 466 0
285 -115 201 0
-81 60 345 0
-36 -596 497 0
-287 -569 366 0
387 -147 -178 0
-318 397 34 0
410 530 440 0
-75 -448 -126 0
75 -23 -430 0
-150 239 -74 0
-72 501 319 0
-528 276 -525 0
1 94 490 0
422 -359 -472 0
-306 556 77 0
-270 63 -215 0
-55 8 453 0
-296 -62 52 0
-483 -158 -390 0
129 -547 498 0
-482 -286 94 0
305 123 -30 0
500 74 -273 0
500 -329 517 0
-539 242 -311 0
-404 287 -541 0
301 245 -411 0
200 -224 131 0
242 521 -402 0
-332 -590 444 0
-444 305 -200 0
135 -38 308 0
-252 -435 -104 0
-462 -240 65 0
-402 -99 -437 0
-104 -167 -301 0
498 27 550 0
41 198 -358 0
-393 -187 -568 0
198 -600 -407 0
197 459 -187 0
-534 442 382 0
440 -530 -80 0
251 -541 -38 0
-525 365 -476 0
-492 -360 -260 0
311 66 231 0
-143 533 -74 0
-22 -478 -355 0
339 -166 -167 0
-479 -455 297 0
-269 -167 -135 0
582 576 -324 0
-341 330 520 0
-97 -326 -125 0
204 255 -184 0
-293 -416 -169 0
-207 530 479 0
-415 -70 -436 0
188 382 94 0
-200 40 46 0
566 -366 -245 0
101 -277 -442 0
179 495 113 0
-48 -2 3 0
593 -503 -223 0
-13 -538 -374 0
-64 -94 -481 0
-468 568 -261 0
-111 -6 -93 0
-298 -323 -110 0
-13 39 -455 0
-37 -571 -278 0
-78 69 -403 0
-224 13 82 0
481 -447 131 0
-576 -497 -432 0
588 423 -93 0
360 -585 -382 0
-145 88 -298 0
304 176 -583 0
16 182 -194 0
-480 -451 -366 0
-181 537 332 0
-593 115 242 0
524 258 413 0
152 450 -592 0
145 294 511 0
450 -521 187 0
77 -266 -479 0
495 -588 194 0
-363 -373 1 0
-313 545 274 0
-469 -163 348 0
-493 429 -347 0
-299 -472 155 0
-59 354 155 0
483 -258 568 0
-307 -159 476 0
-362 428 -252 0
-284 89 -123 0
222 46 -581 0
-176 -144 521 0
-447 194 -185 0
451 399 433 0
-495 -165 407 0
-138 380 -337 0
369 -405 -336 0
-98 108 543 0
-374 -196 -88 0
105 -20 -216 0
251 584 418 0
-543 -508 -13 0
420 -156 -175 0
-175 7 408 0
-241 316 513 0
-173 443 533 0
132 436 386 0
-85 -81 -429 0
222 585 379 0
-173 -29 60 0
-141 46 337 0
437 -598 303 0
249 422 -325 0
-505 -72 459 0
276 -591 342 0
92 194 -423 0
-99 -357 83 0
228 -540 -588 0
203 340 527 0
332 338 -386 0
392 333 -468 0
-295 122 -55 0
121 -10 -6 0
-358 -263 -142 0
101 546 538 0
467 253 -481 0
575 -442 -54 0
-225 -65 96 0
-578 -99 -216 0
-125 442 -156 0
337 599 -209 0
600 400 -307 0
-342 529 -144 0
32 450 -159 0
535 287 319 0
369 -3 91 0
291 571 -417 0
-456 -249 142 0
44 -15 287 0
146 -267 249 0
352 -532 -104 0
-184 -549 -387 0
-158 -449 -8 0
405 -164 39 0
224 -365 149 0
-180 517 345 0
412 231 49 0
89 389 -41 0
436 281 -17 0
-3 147 -252 0
-318 537 -95 0
415 232 -142 0
-520 175 257 0
-36 574 216 0
547 395 -566 0
-323 283 -315 0
84 -424 494 0
304 516 532 0
140 471 -299 0
-142 73 -530 0
353 -194 -368 0
248 183 -387 0
-537 121 283 0
556 -377 -295 0
-422 -298 -588 0
243 -4 566 0
-112 -9 521 0
-292 -475 -124 0
357 -41 -600 0
419 203 556 0
497 288 -47 0
201 96 -44 0
-470 242 -297 0
-579 18 33 0
-423 475 -289 0
114 132 171 0
-70 451 -541 0
-429 145 -215 0
519 -166 104 0
582 -164 419 0
-194 386 382 0
29 -479 -147 0
-175 -386 -576 0
24 -592 -27 0
-3 129 344 0
-531 46 -324 0
521 -263 459 0
179 196 10 0
80 241 -32 0
164 -66 352 0
123 165 -545 0
-82 568 -567 0
-163 -221 68 0
168 569 -471 0
28 -112 381 0
248 -12 -126 0
-537 36 -159 0
-521 266 -98 0
238 482 -362 0
-314 -142 -129 0
101 262 -416 0
-583 -34 -307 0
278 -457 -228 0
-393 -574 307 0
-314 119 -134 0
480 -296 579 0
25 559 -264 0
-554 494 -496 0
534 -559 -7 0
40 420 -281 0
-591 594 -379 0
471 -182 -322 0
192 102 314 0
-509 -528 -278 0
-562 337 -386 0
539 48 341 0
471 -56 140 0
495 184 -471 0
304 340 -412 0
-585 91 39 0
89 125 -457 0
-257 -212 -400 0
308 580 -240 0
318 -193 -347 0
-5 92 287 0
-178 345 -351 0
-538 182 578 0
-104 41 -462 0
222 -163 -299 0
-37 151 -524 0
-278 595 172 0
117 -211 -308 0
353 -190 220 0
228 574 -110 0
-432 394 583 0
-67 425 -5 0
183 13 314 0
203 -307 -260 0
322 -93 45 0
206 -380 7 0
401 250 326 0
-116 507 354 0
-15 -127 -414 0
-527 -366 -288 0
-282 83 -290 0
29 130 -520 0
46 -64 251 0
-484 -57 326 0
-474 323 -405 0
-203 114 -599 0
535 411 -279 0
-51 537 -426 0
-383 48 -355 0
-234 -401 273 0
189 97 175 0
-365 -443 -455 0
-334 314 -540 0
-469 -538 -443 0
-185 -560 392 0
499 -184 296 0
354 -504 -538 0
-88 -156 429 0
554 -564 207 0
8 365 -499 0
456 -279 69 0
390 14 500 0
29 251 387 0
72 189 -86 0
491 -355 -293 0
-597 -228 305 0
236 -328 -498 0
568 341 -5 0
58 103 54 0
208 -478 450 0
-565 341 -487 0
523 201 254 0
-557 107 -118 0
361 246 441 0
184 538 -349 0
15 193 68 0
53 -358 36 0
-267 348 600 0
376 -579 -568 0
148 -260 -552 0
87 -44 431 0
-496 -503 -129 0
-382 -379 548 0
-16 35 118 0
594 -340 144 0
59 475 152 0
-153 -460 -379 0
523 446 -142 0
-295 -204 -550 0
-237 -516 -560 0
40 -210 -387 0
-361 163 -320 0
165 -75 -516 0
597 344 -169 0
-598 511 518 0
441 -5 83 0
-452 311 -71 0
232 573 -523 0
543 -493 354 0
85 -168 -346 0
421 -407 -321 0
-550 -574 -561 0
580 187 -592 0
-381 -426 -386 0
-186 -331 406 0
-413 332 362 0
350 -531 555 0
-105 195 -384 0
-423 308 -352 0
-253 -286 -485 0
486 -516 59 0
-535 69 -38 0
212 -74 269 0
51 -57 -382 0
173 -516 118 0
433 409 -476 0
214 -554 -597 0
-393 123 -133 0
477 367 555 0
526 294 -422 0
-426 -375 -559 0
-531 95 -52 0
464 58 -407 0
57 379 56 0
279 -275 -395 0
-331 557 -445 0
22 513 318 0
-316 -435 434 0
-218 128 -228 0
-417 -50 322 0
465 77 -398 0
-98 485 26 0
-48 -37 560 0
442 480 -486 0
286 289 -378 0
-558 -521 435 0
10 -174 -222 0
493 -430 435 0
354 182 397 0
-468 -539 12 0
-583 -587 488 0
-580 -322 -441 0
-151 -536 292 0
371 543 -499 0
-503 402 413 0
-110 -374 -556 0
-548 313 286 0
473 -136 -254 0
175 177 -97 0
136 -491 110 0
-508 -235 -136 0
104 -592 595 0
-97 351 422 0
522 -251 -563 0
-454 -11 519 0
99 125 -217 0
95 -110 387 0
326 -358 516 0
-539 -182 455 0
-364 149 -61 0
-313 -499 -258 0
-564 -565 370 0
425 363 -149 0
-560 -76 324 0
-444 -290 -274 0
316 261 -397 0
-188 -176 -86 0
-72 407 -560 0
565 369 271 0
-557 -4 56 0
330 -36 350 0
-14 544 -583 0
-502 173 -490 0
317 -374 83 0
-383 161 451 0
256 -484 41 0
-580 -504 -568 0
-546 -550 160 0
438 374 -181 0
580 500 106 0
258 -589 -120 0
205 -128 -50 0
-23 395 -228 0
560 -340 -387 0
537 -135 -565 0
-463 -207 -114 0
-392 -309 186 0
108 -132 -595 0
-313 558 531 0
-43 204 -31 0
-321 -45 -78 0
365 568 482 0
-164 -299 474 0
8 -363 -404 0
20 481 -364 0
-277 394 -387 0
546 424 -171 0
-59 548 67 0
-153 466 -518 0
-181 -382 -364 0
-113 -114 -286 0
408 -130 81 0
552 86 -93 0
581 -211 48 0
-459 568 476 0
439 -144 -388 0
-389 -318 364 0
-188 484 -290 0
-111 539 81 0
120 -10 -29 0
174 499 -146 0
217 -223 248 0
465 -78 594 0
320 267 231 0
198 138 93 0
458 -533 -89 0
268 332 39 0
352 426 -477 0
138 120 90 0
203 537 330 0
-63 -507 -500 0
563 318 257 0
-279 204 259 0
575 317 517 0
-110 377 -486 0
-344 -266 107 0
-231 -445 498 0
-199 -362 -289 0
-376 430 -410 0
307 560 88 0
-295 445 -396 0
483 387 -66 0
-91 -69 -2 0
-239 193 297 0
173 -140 396 0
8 -82 418 0
232 -99 103 0
593 -576 584 0
-146 525 -394 0
305 -396 238 0
-324 465 487 0
206 -22 395 0
-41 -496 -384 0
-306 364 202 0
442 45 -57 0
149 -489 1 0
-7 -229 185 0
114 -540 -119 0
-128 -98 -497 0
-554 432 555 0
-396 -592 -292 0
-459 -254 211 0
490 -36 306 0
-269 97 -535 0
472 306 -290 0
-488 -367 100 0
-109 -308 -322 0
244 -178 -126 0
-449 17 -280 0
-159 -15 -144 0
-550 -450 -480 0
-591 69 -386 0
-236 -219 -404 0
420 -505 244 0
27 -522 570 0
-532 -224 142 0
140 335 345 0
354 -290 -445 0
399 -500 581 0
-117 -385 -485 0
202 596 -274 0
314 298 -328 0
-12 -261 -157 0
279 -371 -80 0
191 -135 -500 0
-231 477 375 0
-260 521 411 0
403 -160 586 0
241 -264 -27 0
-365 -91 295 0
-256 -289 177 0
214 -126 490 0
597 -118 517 0
181 -329 125 0
213 -185 552 0
-65 20 -480 0
332 -144 222 0
175 575 -352 0
147 -45 233 0
371 -208 507 0
251 551 -412 0
436 3 252 0
-80 203 313 0
-195 -194 -208 0
345 -341 -189 0
574 167 -309 0
-566 -421 -187 0
156 309 -383 0
-301 435 299 0
-418 -83 250 0
-299 -260 62 0
39 -281 -537 0
505 -324 587 0
-249 31 433 0
205 -460 548 0
-371 132 -94 0
-597 -223 267 0
108 318 -164 0
27 339 137 0
393 -161 367 0
-504 350 -569 0
192 -454 -75 0
-311 581 -98 0
245 273 -492 0
178 -443 112 0
433 -56 161 0
-85 -531 125 0
159 -93 81 0
-276 564 42 0
-584 371 212 0
-223 529 57 0
-557 560 113 0
-329 103 -281 0
-46 -395 -369 0
380 -99 -586 0
516 -417 -87 0
-462 -392 -203 0
241 -326 -284 0
-558 -383 -65 0
-243 91 7 0
-60 -62 -567 0
-130 172 459 0
56 594 249 0
62 -215 8 0
-560 12 79 0
-1 -146 212 0
-143 161 -388 0
-53 -463 -460 0
444 201 32 0
-209 -596 38 0
-248 -192 -398 0
546 -260 -340 0
289 210 242 0
-556 -280 330 0
-74 -102 467 0
-220 209 133 0
-212 -406 -18 0
542 116 453 0
-469 -372 239 0
-276 83 21 0
-70 -547 -280 0
-490 466 94 0
-592 159 119 0
-183 489 -252 0
428 503 324 0
-327 147 -302 0
-247 -156 79 0
-212 -309 -505 0
-240 536 -116 0
-94 470 191 0
510 4 9 0
-234 -348 -353 0
-350 549 318 0
-598 -325 -187 0
-35 287 278 0
-218 -581 486 0
380 512 -47 0
-248 280 -381 0
213 -306 -417 0
491 -589 422 0
-371 -294 219 0
545 171 -82 0
-166 -138 -453 0
472 -217 -143 0
-250 -594 -419 0
-410 -45 429 0
421 479 369 0
-381 48 576 0
-79 -121 -585 0
-357 561 -121 0
-561 -477 327 0
-340 -216 -220 0
534 -209 512 0
-286 10 93 0
-463 523 93 0
-128 -29 189 0
-592 91 -549 0
125 -21 356 0
288 504 347 0
-179 556 341 0
-509 124 90 0
463 -312 175 0
-567 -544 -44 0
150 284 -412 0
309 312 154 0
151 24 100 0
-210 -192 -525 0
196 72 -96 0
-521 579 10 0
5 -41 -312 0
-463 118 319 0
-256 87 -139 0
-534 350 264 0
-241 385 -243 0
491 263 345 0
319 -441 382 0
310 -71 480 0
285 413 261 0
581 -48 148 0
253 -278 -433 0
-510 -73 96 0
-133 20 -160 0
248 -291 522 0
-510 83 101 0
-310 -552 223 0
-204 -100 265 0
-558 -432 -202 0
-23 -443 372 0
-378 216 -195 0
-446 86 172 0
565 306 556 0
311 -529 -120 0
-373 497 -133 0
-85 -336 -123 0
-362 358 -140 0
559 135 -533 0
586 -207 -446 0
-586 346 176 0
564 190 -20 0
-318 -235 -184 0
156 473 250 0
-492 308 -197 0
196 -230 -234 0
53 46 -567 0
574 62 -102 0
551 71 -82 0
-578 -536 -516 0
-365 -175 -148 0
302 553 577 0
15 -96 545 0
419 -224 477 0
-370 534 402 0
250 353 -571 0
38 -246 -543 0
-461 -216 -565 0
-352 -221 3 0
493 271 -545 0
-553 -346 394 0
73 11 -549 0
-465 342 423 0
-432 194 34 0
372 -535 353 0
-394 395 -527 0
-570 -180 -4 0
91 393 -85 0
-515 -384 284 0
283 463 253 0
561 -226 377 0
-435 11 -229 0
432 -156 323 0
516 17 -508 0
482 -507 266 0
-24 279 118 0
289 130 8 0
-397 193 31 0
521 5 -40 0
-591 402 380 0
-223 -396 -217 0
505 -348 -60 0
-565 -145 -536 0
19 -56 426 0
-27 -595 510 0
-580 -316 322 0
70 94 416 0
55 -13 -577 0
201 -22 14 0
-469 -523 325 0
369 -249 316 0
92 426 97 0
-59 -431 -71 0
598 -181 58 0
599 -458 -549 0
-520 -267 -299 0
481 73 34 0
328 166 -216 0
-203 -91 -260 0
39 236 -257 0
-241 -48 19 0
-138 109 -496 0
-502 -546 421 0
-431 93 220 0
-476 -384 -160 0
570 302 -8 0
-596 469 104 0
1 460 489 0
-541 -82 -532 0
-296 452 114 0
-302 -169 -439 0
-21 46 -376 0
94 510 559 0
-347 590 -102 0
424 -412 574 0
-403 351 581 0
590 225 -272 0
307 -573 423 0
515 -342 -49 0
39 -529 333 0
418 -256 571 0
-85 242 362 0
-12 290 164 0
420 162 -249 0
317 190 433 0
488 65 143 0
-512 551 121 0
229 -59 -536 0
170 45 257 0
588 144 -211 0
-1 -68 505 0
-190 -58 261 0
223 -475 579 0
-256 -59 -468 0
439 -303 358 0
-484 273 49 0
-459 97 163 0
342 332 -54 0
-92 458 460 0
-566 323 -57 0
-593 575 44 0
-27 -418 -333 0
-3 -179 37 0
-33 -423 -172 0
87 171 -63 0
254 497 -491 0
400 334 -159 0
191 -496 -444 0
298 -591 -500 0
-36 225 -381 0
51 105 -154 0
-523 -125 -304 0
-153 491 -218 0
99 305 -51 0
-357 18 -401 0
226 147 46 0
371 445 266 0
-54 -420 21 0
-214 -431 -366 0
440 -154 -501 0
455 437 -159 0
-494 357 422 0
597 -188 -244 0
-291 349 -178 0
423 -447 -295 0
393 182 532 0
559 341 -345 0
286 -175 525 0
-489 -259 518 0
535 -238 -295 0
555 -172 -110 0
-453 -401 133 0
367 277 529 0
166 -55 555 0
555 -269 332 0
138 -510 400 0
-495 -182 300 0
91 511 478 0
-97 162 50 0
15 58 10 0
-346 -382 385 0
-67 -354 451 0
417 -344 -473 0
-278 -37 -90 0
-251 -535 165 0
-450 -259 -309 0
-483 83 327 0
289 157 32 0
-172 63 99 0
-51 -47 -117 0
-394 -153 -302 0
-159 476 52 0
-338 340 528 0
489 491 485 0
-113 -91 55 0
-211 -314 -257 0
55 -200 56 0
-492 19 197 0
-80 425 -53 0
524 -171 -511 0
592 -293 67 0
525 250 233 0
425 -189 -212 0
-325 456 -220 0
573 449 -393 0
568 -15 -503 0
-226 248 -455 0
567 19 -44 0
409 -18 -443 0
-26 -192 190 0
345 244 201 0
-582 455 319 0
-409 -478 219 0
279 -234 -543 0
-425 266 -71 0
145 -10 546 0
-298 -442 -76 0
-298 -240 -355 0
498 26 -450 0
229 -320 303 0
245 -93 -248 0
465 209 404 0
-240 79 -379 0
470 -124 132 0
-289 143 -318 0
-74 16 -97 0
387 239 -465 0
-371 -474 325 0
419 363 278 0
402 -197 98 0
-124 321 539 0
506 541 -262 0
-210 -26 -381 0
189 272 507 0
-264 505 -96 0
20 301 561 0
-236 137 -206 0
-374 -482 -491 0
243 99 -331 0
-271 440 -96 0
-267 11 143 0
386 -195 -362 0
-290 443 -361 0
320 -316 -497 0
-69 257 532 0
-436 -568 547 0
210 152 -6 0
-7 458 -114 0
367 -472 66 0
135 -244 207 0
185 446 -467 0
-52 -404 -509 0
-589 496 -594 0
260 -56 -135 0
-503 -331 -114 0
207 374 290 0
-15 -82 226 0
-370 213 228 0
438 -442 -345 0
59 -529 446 0
428 69 -516 0
-413 53 103 0
154 -306 516 0
34 -144 -95 0
274 398 495 0
-576 -20 271 0
-102 -574 382 0
501 -130 -404 0
581 -412 251 0
-587 226 -598 0
246 -361 -407 0
-259 -114 542 0
559 -227 -503 0
-437 -30 -22 0
-135 -63 -131 0
88 -352 121 0
303 345 -477 0
215 -219 388 0
-12 -75 -380 0
-234 319 -484 0
-198 45 227 0
429 517 -312 0
13 -51 338 0
-364 -458 385 0
-113 -235 -388 0
-439 -289 -44 0
599 253 -248 0
392 -137 157 0
-462 -589 573 0
154 -47 387 0
-105 588 -444 0
-568 -65 -10 0
-223 -100 -295 0
-68 -126 -329 0
-311 -100 -167 0
414 -114 384 0
43 -194 131 0
82 -70 506 0
489 302 -109 0
517 -219 -408 0
-250 -98 -59 0
-79 176 202 0
-467 -555 281 0
404 206 -389 0
-401 -82 -13 0
-523 381 205 0
4 373 -189 0
260 -59 -574 0
-202 322 -577 0
-393 302 30 0
-557 -179 -169 0
-520 -492 -208 0
219 -29 -16 0
7 -38 -102 0
261 409 -529 0
-279 495 234 0
-478 -165 -390 0
292 -309 -479 0
381 -455 -291 0
408 -443 -82 0
-458 30 -312 0
68 57 -385 0
363 402 308 0
394 -267 150 0
-502 68 65 0
-564 -28 233 0
486 452 105 0
465 -244 62 0
18 -447 69 0
125 -166 -206 0
332 -43 -540 0
-156 -468 -255 0
511 -223 -281 0
118 -458 228 0
-46 197 -159 0
319 285 448 0
222 -532 -470 0
-497 -413 269 0
-146 -257 160 0
459 -34 311 0
-281 77 -138 0
-306 540 -57 0
490 -596 -2 0
519 -565 -370 0
-383 588 109 0
15 347 -351 0
216 384 -431 0
-347 328 321 0
-116 158 105 0
91 264 -158 0
143 271 391 0
479 389 166 0
266 18 68 0
6 -298 200 0
-202 389 130 0
391 69 400 0
17 234 336 0
372 -98 199 0
159 437 -115 0
65 447 67 0
74 -366 -198 0
-210 494 97 0
383 -164 479 0
5 270 -56 0
-448 403 -74 0
481 -325 -106 0
166 118 245 0
-469 388 -541 0
-591 -299 -195 0
-531 139 229 0
588 143 -138 0
-294 583 42 0
54 8 99 0
-294 -84 -251 0
-415 343 416 0
-18 319 -569 0
-91 -583 322 0
-460 -444 -410 0
-138 -341 -383 0
-82 -391 1 0
237 -414 313 0
377 358 112 0
-529 261 -169 0
339 169 -502 0
-531 -486 -565 0
-376 538 443 0
582 552 -104 0
305 -459 571 0
80 117 480 0
220 189 -312 0
-548 462 -450 0
-112 -372 -6 0
342 211 254 0
-34 -437 220 0
367 -52 544 0
-383 -177 -477 0
-419 118 464 0
46 -273 44 0
-60 366 -378 0
-463 -8 235 0
558 493 343 0
-22 -139 -522 0
-513 -582 -444 0
-186 19 -48 0
-50 -305 -17 0
406 -27 -105 0
346 594 184 0
422 173 -81 0
-344 -343 20 0
313 -385 482 0
-506 -593 136 0
113 -21 -382 0
525 -103 83 0
219 -471 -374 0
498 510 -324 0
-233 -526 150 0
-395 -258 -338 0
95 -331 107 0
287 -293 87 0
-79 -586 398 0
34 592 489 0
489 72 -523 0
-549 -266 558 0
219 -166 475 0
-503 -117 -595 0
19 -356 -180 0
531 -89 -2 0
246 68 586 0
-390 -408 238 0
104 -181 -157 0
-269 -323 345 0
149 498 541 0
410 -199 242 0
-76 511 271 0
288 33 414 0
436 402 -136 0
320 -551 -260 0
578 10 348 0
366 -574 -160 0
-107 -196 432 0
313 -118 -25 0
-394 -18 328 0
-20 481 8 0
-555 -329 -306 0
488 -543 -570 0
255 -271 322 0
177 355 41 0
-229 -526 278 0
-80 565 -137 0
-342 292 -468 0
547 15 -538 0
-351 -296 -183 0
-306 -299 378 0
371 -205 -385 0
-183 231 -406 0
-378 105 -539 0
325 374 288 0
314 555 -341 0
277 107 245 0
-362 185 5 0
-140 -455 -157 0
-588 382 249 0
255 447 81 0
261 -91 437 0
-218 493 26 0
-424 240 115 0
235 -396 -484 0
55 -580 62 0
254 198 267 0
-153 -416 268 0
563 -123 101 0
-80 515 134 0
205 181 158 0
212 199 -532 0
567 339 540 0
-392 -128 124 0
293 250 -45 0
380 103 284 0
19 -287 -131 0
-355 -248 -326 0
278 76 578 0
300 314 15 0
-332 215 -274 0
-134 -583 260 0
568 69 -40 0
273 599 -44 0
-296 -49 -303 0
-198 -373 69 0
33 506 -323 0
-567 442 -45 0
465 101 528 0
-394 107 188 0
233 470 375 0
443 425 -80 0
331 -32 163 0
308 -112 -584 0
185 -295 -536 0
-326 -53 -195 0
483 418 262 0
-64 393 -586 0
-136 -343 -201 0
-105 -191 597 0
-78 -182 -561 0
-123 40 -228 0
-583 250 432 0
-589 157 -225 0
-587 165 39 0
-2 -539 -351 0
200 -46 -85 0
-485 45 176 0
-215 -583 507 0
51 -85 556 0
107 -467 426 0
-20 -235 -357 0
-124 -357 252 0
360 -443 513 0
551 419 346 0
-538 356 -135 0
423 -188 91 0
271 -564 128 0
517 328 572 0
-188 -552 -114 0
396 -534 134 0
19 514 328 0
566 442 -211 0
-229 -35 -147 0
544 361 589 0
511 246 -109 0
-165 227 -226 0
-202 -406 335 0
114 201 463 0
379 141 -269 0
-552 -101 -379 0
498 -407 -583 0
581 -554 -577 0
-109 239 -186 0
578 -270 -46 0
-589 553 -9 0
-562 89 -135 0
-433 351 -427 0
-325 -34 477 0
203 482 436 0
-206 196 121 0
-386 -347 431 0
-500 119 -43 0
323 -213 598 0
-399 -381 521 0
-293 322 475 0
-423 -588 415 0
-439 -549 -277 0
565 27 471 0
-511 581 225 0
-464 -197 364 0
413 -435 482 0
143 396 -342 0
-251 -8 85 0
-600 -229 589 0
115 -398 -116 0
300 144 -52 0
85 -295 -437 0
-573 -401 6 0
549 -305 463 0
-102 -523 335 0
-157 -267 -109 0
-120 -419 -525 0
-525 -89 -339 0
-280 -233 -193 0
294 -564 22 0
-231 -241 -179 0
108 262 -107 0
492 -224 -162 0
295 -260 320 0
409 462 -155 0
430 501 -452 0
549 241 412 0
-181 453 248 0
234 375 -413 0
399 345 50 0
548 322 230 0
-157 501 10 0
-553 117 249 0
-169 -400 -297 0
453 -41 -129 0
-54 -332 177 0
434 184 -379 0
-526 -309 -128 0
546 536 4 0
111 -126 550 0
363 423 192 0
-530 252 546 0
239 -470 -505 0
-375 412 -321 0
-55 -585 58 0
-50 406 -391 0
-420 -71 -451 0
-139 -513 -255 0
8 210 343 0
109 -472 -66 0
203 348 -226 0
278 -571 -402 0
-249 -447 323 0
557 424 298 0
558 396 -360 0
3 348 110 0
277 594 -21 0
-32 103 277 0
30 350 -211 0
-245 -219 -159 0
-403 -279 -247 0
-288 280 326 0
-141 258 -541 0
219 -388 -51 0
381 -90 564 0
-97 88 74 0
372 -36 17 0
380 147 463 0
-384 28 -184 0
234 278 -593 0
437 -412 -170 0
86 -514 -199 0
-281 455 562 0
-573 100 -246 0
-354 -68 -466 0
110 83 -544 0
290 -38 231 0
579 7 -285 0
-379 149 34 0
523 292 -481 0
448 -334 358 0
272 -364 190 0
-358 175 226 0
475 -41 275 0
327 419 -584 0
403 -549 79 0
261 -438 152 0
11 -63 490 0
333 -78 144 0
-342 -339 249 0
447 -436 384 0
112 35 252 0
-548 319 442 0
-429 -367 70 0
-4 182 -400 0
-538 -105 -548 0
127 161 513 0
381 -354 56 0
-308 45 -405 0
-325 346 -258 0
-455 509 420 0
510 -565 -479 0
-421 -245 -171 0
240 294 -64 0
-317 362 273 0
-576 265 421 0
557 -411 221 0
229 -192 -531 0
-443 -148 -54 0
-383 -1 498 0
145 -219 -99 0
226 102 -110 0
-195 159 396 0
-591 -260 218 0
381 -419 -492 0
399 -595 -298 0
-303 263 368 0
400 304 498 0
-256 432 -272 0
204 -378 597 0
188 194 -207 0
-90 -85 -566 0
524 -461 -249 0
-322 587 88 0
-395 -150 -163 0
556 -247 -166 0
-214 -501 -466 0
-463 435 -88 0
141 137 52 0
-38 -45 254 0
-351 81 -453 0
-224 -195 368 0
507 502 -188 0
453 91 278 0
562 -166 283 0
-99 -284 141 0
-54 -553 35 0
-367 434 147 0
88 -73 322 0
351 -453 -373 0
431 109 175 0
369 275 474 0
300 -404 -196 0
-322 187 137 0
337 487 126 0
-168 -508 153 0
76 567 -116 0
294 -231 -129 0
-114 412 -28 0
-484 -382 33 0
-163 560 523 0
516 461 553 0
-182 297 30 0
186 -591 90 0
468 -483 -189 0
-414 203 -438 0
-243 -511 255 0
-199 -148 -439 0
244 79 520 0
43 58 361 0
-265 -225 -226 0
-154 -130 -407 0
-92 -21 -457 0
33 544 -362 0
32 553 -35 0
217 361 426 0
571 -400 595 0
275 -563 -160 0
-229 -6 376 0
269 -91 201 0
139 269 443 0
-29 204 -419 0
465 113 457 0
-137 -265 355 0
371 -481 359 0
262 -73 541 0
435 341 -112 0
-96 138 -481 0
-449 493 234 0
-18 438 -310 0
180 -281 -585 0
473 -154 31 0
-566 -218 -270 0
85 112 327 0
-45 543 -276 0
576 -40 189 0
569 -81 464 0
534 -178 547 0
-552 -354 364 0
-312 -23 -47 0
21 -368 -457 0
195 -128 -372 0
66 -170 -33 0
-368 9 -218 0
-153 -421 516 0
513 -306 22 0
386 391 83 0
-489 553 503 0
-504 136 473 0
-183 -238 -546 0
-372 -586 -12 0
-226 -420 456 0
-280 -435 273 0
-582 -392 -246 0
320 381 509 0
420 264 408 0
262 -87 504 0
-517 -355 344 0
-396 562 -213 0
31 -237 424 0
-338 -252 342 0
-114 -5 -514 0
371 -318 -195 0
329 301 -259 0
343 147 -258 0
-456 -569 25 0
-13 -31 262 0
205 154 -473 0
446 -188 420 0
173 -382 -246 0
-125 243 -73 0
310 94 -358 0
-405 -271 -344 0
107 -518 -196 0
-357 467 -338 0
-356 -480 572 0
199 -133 30 0
-95 129 -273 0
446 -373 516 0
35 -425 -153 0
-423 -322 -363 0
503 576 -34 0
-497 124 433 0
-186 363 -574 0
230 -211 -17 0
14 -225 454 0
-156 371 214 0
564 378 103 0
-589 565 -152 0
480 239 -292 0
16 -310 -397 0
49 -230 142 0
-422 487 324 0
422 64 -463 0
402 467 -269 0
484 214 298 0
482 -14 197 0
-404 399 285 0
356 -551 30 0
-65 -315 378 0
185 64 178 0
-351 -540 -33 0
-21 -181 -403 0
147 556 232 0
-574 -585 446 0
509 227 -371 0
424 -241 -291 0
371 -435 -89 0
302 273 -318 0
78 447 -529 0
-347 584 579 0
-246 -20 572 0
553 134 -229 0
-286 207 148 0
439 353 -436 0
482 -554 81 0
-5 -516 -41 0
-293 -17 -434 0
-468 -430 519 0
-546 -393 -174 0
-391 81 -15 0
-490 -469 -302 0
93 436 42 0
295 311 -21 0
341 -287 -84 0
-321 433 -377 0
196 66 565 0
168 -461 487 0
-411 581 188 0
579 -515 -34 0
-404 -475 -411 0
550 -20 481 0
-543 -469 -488 0
-166 -331 -313 0
82 160 273 0
454 445 183 0
474 540 -461 0
3 -517 -294 0
-93 423 3 0
-549 38 -442 0
376 58 149 0
162 -571 182 0
-181 366 545 0
-530 -163 573 0
-172 486 -173 0
-134 -571 -412 0
172 484 431 0
462 292 -207 0
-367 -270 -183 0
-81 -169 2 0
361 450 -561 0
-298 152 -4 0
-429 -501 169 0
183 55 380 0
32 394 409 0
-66 -269 -62 0
570 -197 -545 0
-150 515 -131 0
-335 598 -249 0
407 83 472 0
-400 453 371 0
151 214 447 0
389 102 57 0
-214 -563 -141 0
455 -340 -21 0
454 -557 -528 0
146 -246 290 0
310 216 -400 0
51 -120 -123 0
551 557 -191 0
-289 295 179 0
-430 492 -80 0
-587 -241 25 0
-310 352 -37 0
-70 319 -38 0
-540 224 -431 0
226 436 300 0
-166 -84 -539 0
437 220 -172 0
-419 270 536 0
-173 500 344 0
-486 434 -415 0
-570 58 512 0
-255 -507 -110 0
-37 -77 -19 0
128 -446 412 0
-311 -256 -135 0
-397 134 66 0
422 600 452 0
-195 -477 153 0
-598 328 -74 0
-388 339 -250 0
78 -294 422 0
519 -186 570 0
288 347 22 0
349 283 -219 0
-543 55 192 0
305 350 -393 0
-365 -381 -129 0
330 45 444 0
-592 -13 492 0
-418 -246 -1 0
-243 299 -104 0
-576 78 315 0
-579 14 552 0
-398 -254 503 0
515 317 218 0
125 481 -271 0
312 -202 -25 0
237 59 168 0
387 -251 -293 0
-205 378 421 0
-559 -43 -12 0
-150 -268 -556 0
12 372 534 0
-8 600 466 0
582 489 -443 0
440 320 -324 0
564 340 215 0
151 -346 419 0
-340 -53 -398 0
-562 462 -517 0
-395 218 -558 0
430 165 -472 0
-534 -547 470 0
536 227 408 0
-38 77 57 0
-398 -345 269 0
-275 -226 351 0
-92 -508 -500 0
-172 -73 -322 0
-213 123 411 0
101 -378 59 0
589 -480 80 0
278 359 564 0
33 134 395 0
-276 -455 442 0
-49 -581 421 0
-186 335 48 0
-28 -333 8 0
346 -528 -264 0
-471 -552 -245 0
334 -105 352 0
47 -179 271 0
-218 -367 587 0
-268 -240 -75 0
-47 131 -399 0
-417 -400 -173 0
280 -551 -189 0
-537 -517 -304 0
-137 -4 -311 0
592 -388 537 0
345 -267 130 0
-546 -21 120 0
167 427 -596 0
-553 -36 -319 0
325 -40 -539 0
-7 -159 -423 0
-591 -164 148 0
-329 126 -436 0
356 265 -211 0
377 8 -411 0
398 102 60 0
31 589 -368 0
-92 121 136 0
-404 -465 275 0
-543 473 -454 0
-31 59 462 0
584 -523 533 0
72 -26 -591 0
337 275 -190 0
-424 9 159 0
40 -494 400 0
387 -152 373 0
481 377 -120 0
457 140 -509 0
521 290 91 0
-92 156 229 0
-450 402 172 0
-257 -68 -296 0
65 -145 361 0
113 500 37 0
401 21 -131 0
78 -449 112 0
500 -8 -155 0
99 -54 207 0
-472 -3 354 0
160 -50 583 0
-56 -280 557 0
418 308 -423 0
-383 -504 -206 0
415 -36 99 0
326 269 -472 0
-595 486 551 0
-3 65 -476 0
366 -532 209 0
-276 -271 443 0
-550 -221 138 0
153 -419 -336 0
-246 -209 32 0
404 274 95 0
-110 286 90 0
-481 404 -430 0
-78 -315 -495 0
-80 -322 27 0
-301 -5 542 0
-569 466 -425 0
370 292 -524 0
-174 -268 -10 0
-428 -261 306 0
-340 -201 -199 0
-584 -162 428 0
412 -515 -462 0
425 -497 -139 0
568 -166 -375 0
453 187 125 0
-140 -74 -346 0
-503 -49 467 0
311 -300 -412 0
-183 -253 -456 0
230 -505 -359 0
-548 218 347 0
-475 -434 346 0
-418 -319 277 0
24 299 -502 0
-245 148 348 0
-164 -219 459 0
320 -161 -340 0
-120 -94 192 0
-31 -337 -288 0
312 382 455 0
-24 501 -321 0
-281 289 -76 0
85 300 -118 0
-487 223 77 0
4 -509 -292 0
-290 82 436 0
-131 411 -363 0
-551 231 -190 0
391 152 -310 0
12 -181 -442 0
-101 -303 -539 0
-143 245 -225 0
526 488 229 0
590 -572 415 0
-360 -451 -280 0
-33 -47 -424 0
600 -60 64 0
400 194 279 0
-196 -66 -306 0
-173 174 600 0
-557 180 235 0
382 242 -592 0
-348 385 -43 0
-221 -484 -520 0
552 600 -195 0
291 -189 392 0
-450 -274 184 0
123 -400 197 0
-594 -34 377 0
372 114 10 0
154 -92 -369 0
-95 -586 -76 0
-388 579 -54 0
-189 70 -13 0
342 5 257 0
-516 228 434 0
-336 151 450 0
373 -137 423 0
43 -150 -336 0
371 223 315 0
270 -335 424 0
-88 -193 -519 0
126 346 579 0
450 -583 315 0
578 -326 391 0
133 -431 -192 0
-504 -252 -41 0
144 106 325 0
-158 -500 -432 0
-306 143 330 0
295 114 223 0
-174 -146 413 0
-32 355 132 0
217 266 150 0
-217 -130 -521 0
-12 313 446 0
-452 383 7 0
-215 204 412 0
447 -180 -307 0
387 -37 -212 0
-73 550 -387 0
355 -172 -26 0
-223 65 -226 0
176 420 -295 0
-520 110 592 0
-586 -363 -280 0
208 -154 211 0
210 74 144 0
132 -274 535 0
274 -210 -4 0
-128 -126 -201 0
46 63 -438 0
207 77 70 0
2 -328 -450 0
-45 158 288 0
536 395 -170 0
-555 -162 -394 0
29 -252 329 0
-308 -383 -107 0
-538 199 236 0
-308 106 -461 0
-419 -378 368 0
-127 177 528 0
291 -148 -89 0
317 -266 158 0
42 -423 -331 0
277 292 350 0
-120 -280 326 0
-178 -283 -209 0
385 -6 511 0
-596 316 334 0
-38 584 536 0
-289 -527 -189 0
-202 103 118 0
-354 471 174 0
172 -123 -559 0
-435 -426 389 0
475 -584 -310 0
372 445 404 0
-416 -62 -593 0
114 508 -109 0
420 -295 125 0
-466 416 382 0
-366 -64 -511 0
-122 -244 -242 0
447 -67 -319 0
-169 -475 443 0
-420 -550 558 0
407 -460 465 0
-161 394 -447 0
-66 242 -169 0
122 507 539 0
-384 -510 -194 0
-493 -564 -88 0
-53 -374 -274 0
180 -274 -343 0
583 203 -198 0
-139 -325 -360 0
-433 337 -348 0
511 -174 167 0
239 -450 -472 0
-393 -137 -599 0
575 -447 -219 0
17 -556 -176 0
92 298 539 0
-400 279 390 0
-347 -334 -463 0
578 -592 -296 0
170 485 110 0
-408 493 -324 0
40 276 -168 0
578 482 37 0
30 1 -459 0
210 65 319 0
-524 534 -427 0
223 -85 -317 0
333 -455 -163 0
-158 345 -111 0
-121 -24 590 0
188 -509 575 0
-600 -113 462 0
148 -275 -115 0
317 -580 -199 0
-393 -536 -23 0
-235 -106 576 0
419 -207 -146 0
186 303 287 0
-540 122 -441 0
-29 -403 77 0
-292 191 -596 0
-40 -443 -348 0
-391 -130 -43 0
342 445 165 0
19 322 -244 0
389 -250 -486 0
-527 -75 -467 0
300 -22 -454 0
447 599 457 0
202 272 471 0
475 536 -77 0
-541 76 190 0
515 395 137 0
400 28 -290 0
362 -46 -221 0
587 -492 297 0
423 -198 580 0
-345 -39 549 0
-14 407 320 0
215 -295 -8 0
-202 -397 -7 0
-185 48 526 0
-554 567 15 0
-61 523 155 0
379 39 -328 0
419 -145 49 0
-56 323 -363 0
-152 177 85 0
-378 -348 244 0
-482 -138 -289 0
144 598 -66 0
333 -511 409 0
439 208 206 0
-342 -577 39 0
-485 -268 125 0
106 442 -191 0
-403 -522 -580 0
-248 -505 420 0
224 -167 137 0
-259 -509 493 0
-385 -82 -69 0
-279 28 -214 0
-55 -349 146 0
-21 442 20 0
487 531 276 0
592 -99 451 0
311 -48 290 0
258 -386 321 0
40 -514 -442 0
-356 90 -568 0
-14 460 590 0
-362 -213 455 0
358 434 510 0
335 276 -360 0
-114 -39 210 0
-86 370 52 0
-369 -327 282 0
-54 3 -285 0
-112 -311 -374 0
-93 80 -336 0
58 -196 576 0
-555 -406 -554 0
89 -403 269 0
-259 544 -337 0
-71 -454 395 0
-439 77 19 0
-270 308 -484 0
586 229 512 0
-403 153 218 0
-200 418 132 0
-356 133 -554 0
198 -65 -500 0
-585 -14 -76 0
130 57 58 0
-194 -276 171 0
258 -104 -513 0
105 436 -371 0
-3 -27 -48 0
-83 -73 333 0
235 -275 318 0